| 1. Identity statement | ||||
| Reference Type | Journal Article | |||
| Site | mtc-m21c.sid.inpe.br | |||
| Holder Code | isadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S | |||
| Identifier | 8JMKD3MGP3W34R/44N8KD2 | |||
| Repository | sid.inpe.br/mtc-m21c/2021/05.20.18.00 (restricted access) | |||
| Last Update | 2021:05.20.18.00.11 (UTC) administrator | |||
| Metadata Repository | sid.inpe.br/mtc-m21c/2021/05.20.18.00.11 | |||
| Metadata Last Update | 2022:04.03.23.14.33 (UTC) administrator | |||
| DOI | 10.1109/ACCESS.2021.3077521 | |||
| ISSN | 2169-3536 | |||
| Citation Key | CruzSilvFerrBern:2021:AuPlIn | |||
| Title | Automated Planning With Invalid States Prediction  | |||
| Year | 2021 | |||
| Access Date | 2024, May 18 | |||
| Type of Work | journal article | |||
| Secondary Type | PRE PI | |||
| Number of Files | 1 | |||
| Size | 2797 KiB | |||
| 2. Context | ||||
| Author | 1 Cruz, Caio Gustavo Rodrigues da 2 Silva, Rodrigo Rocha 3 Ferreira, Maurício Gonçalves Vieira 4 Bernardino, Jorge | |||
| Resume Identifier | 1 2 3 8JMKD3MGP5W/3C9JHT8 | |||
| Group | 1 CMC-ETES-DIPGR-INPE-MCTI-GOV-BR 2 3 CORCR-CGIP-INPE-MCTI-GOV-BR | |||
| Affiliation | 1 Instituto Nacional de Pesquisas Espaciais (INPE) 2 University of Coimbra 3 Instituto Nacional de Pesquisas Espaciais (INPE) 4 Polytechnic of Coimbra | |||
| Author e-Mail Address | 1 caio.cruz2@fatec.sp.gov.br 2 3 mauricio.ferreira@inpe.br | |||
| Journal | IEEE Access | |||
| Volume | 9 | |||
| Pages | 68289-68301 | |||
| History (UTC) | 2021-05-20 18:03:24 :: simone -> administrator :: 2021 2022-04-03 23:14:33 :: administrator -> simone :: 2021 | |||
| 3. Content and structure | ||||
| Is the master or a copy? | is the master | |||
| Content Stage | completed | |||
| Transferable | 1 | |||
| Content Type | External Contribution | |||
| Version Type | publisher | |||
| Keywords | Planning Satellites Machine learning Data mining Transforms Process control Computer architecture Automated planning domain rule learning machine learning PDDL | |||
| Abstract | The increase of automated systems in space missions raises concerns about safety and reliability in operations carried out by satellites due to performance degradation. There have been several studies about the automatic planning process, but many approaches are generated with invalid states. The invalid state can be understood as a prohibited, degraded or risky scenario for the domain. This paper proposes an automated planning process with restrictions that enables automatic planners to not generate plans with invalid states. We implement a validator method for the planner software which proves that plan generation matches the restrictions imposed on the domain. In the experiments, we test an automatic planning process that is specific to the aerospace area, where a knowledge base with invalid states is available in the context of the operation of a satellite. Our proposal to carry out the verification of invalid states in automatic planning, can contribute to plans being generated with higher quality, ensuring that the goal of a plan is only achieved through valid intermediate states. It is also expected that the generated plans will be executed with better performance and will require less computational resources, since the search space is reduced. | |||
| Area | ETES | |||
| Arrangement 1 | urlib.net > BDMCI > Fonds > Produção pgr ATUAIS > CMC > Automated Planning With... | |||
| Arrangement 2 | urlib.net > BDMCI > Fonds > Produção a partir de 2021 > CGCE > Automated Planning With... | |||
| Arrangement 3 | urlib.net > BDMCI > Fonds > Produção a partir de 2021 > CGIP > Automated Planning With... | |||
| doc Directory Content | access | |||
| source Directory Content | there are no files | |||
| agreement Directory Content |
| |||
| 4. Conditions of access and use | ||||
| Language | en | |||
| Target File | cruz_automated.pdf | |||
| User Group | simone | |||
| Reader Group | administrator simone | |||
| Visibility | shown | |||
| Read Permission | deny from all and allow from 150.163 | |||
| Update Permission | not transferred | |||
| 5. Allied materials | ||||
| Next Higher Units | 8JMKD3MGPCW/3F2UALS 8JMKD3MGPCW/46KTFK8 8JMKD3MGPCW/46KUES5 | |||
| Citing Item List | sid.inpe.br/bibdigital/2022/04.03.23.11 3 sid.inpe.br/bibdigital/2022/04.03.17.52 2 sid.inpe.br/mtc-m21/2012/07.13.14.56.30 1 | |||
| Dissemination | WEBSCI; PORTALCAPES; SCOPUS. | |||
| Host Collection | urlib.net/www/2017/11.22.19.04 | |||
| 6. Notes | ||||
| Empty Fields | alternatejournal archivingpolicy archivist callnumber copyholder copyright creatorhistory descriptionlevel e-mailaddress format isbn label lineage mark mirrorrepository month nextedition notes number orcid parameterlist parentrepositories previousedition previouslowerunit progress project rightsholder schedulinginformation secondarydate secondarykey secondarymark session shorttitle sponsor subject tertiarymark tertiarytype url | |||
| 7. Description control | ||||
| e-Mail (login) | simone | |||
| update | ||||